Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal

Source URL: greatscottgadgets.com

• Turing machine
• Computing
• Theoretical computer science
• Models of computation
• Theory of computation
• Computability theory
• Alan Turing
• Typewriter
• Computer
• Word processor

PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Big-Oh Notation Activity Guidelines

Source URL: cahsi.cs.utep.edu

• Computational complexity theory
• Theory of computation
• Mathematics
• Data types
• Primitive types
• Theoretical computer science
• Analysis of algorithms
• Algorithm
• Boolean data type
• NP
• Time complexity
• String

On the Computational Complexity of MapReduce ´ am D. Lelkes1 , Lev Reyzin1 , Benjamin Fish1 , Jeremy Kun1(B) , Ad´ and Gy¨ orgy Tur´

Source URL: www.levreyzin.com

• Computational complexity theory
• Theory of computation
• Complexity classes
• Computational resources
• Structural complexity theory
• Theoretical computer science
• MapReduce
• Time hierarchy theorem
• NTIME
• Time complexity
• DSPACE
• SL

Edgar H. Sibley Panel Editor Cyclic Redundancy Check (CRC) codes provide a simple yet powerful method of error detection during digital data transmission. Use of a table look-up in computing the CRC bits will efficiently

Source URL: www.ifp.illinois.edu

• Finite fields
• Mathematics
• Cyclic redundancy checks
• Polynomials
• Coding theory
• Binary arithmetic
• Computation of cyclic redundancy checks
• Mathematics of cyclic redundancy checks
• CRC-based framing

Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

Source URL: user.it.uu.se

• FO
• Finite model theory
• Finite automata
• Models of computation

International Journal of Interactive Multimedia and Artificial Intelligence, Vol. 4, Nº1 A Distributed Intelligent System for Emergency Convoy M. Benalla, B. Achchab, H. Hrimech Univ. Hassan 1, Higher School of Technol

Source URL: www.ijimai.org

• Transport
• Land transport
• Multi-agent systems
• Artificial intelligence
• Road transport
• Complex systems theory
• Models of computation
• Distributed artificial intelligence
• Agent-based model
• Traffic flow
• Traffic light
• Convoy

Definability of Combinatorial Functions and Their Linear Recurrence Relations Extended Abstract T. Kotek ⋆

Source URL: www.cs.technion.ac.il

• Mathematics
• Algebra
• Abstract algebra
• Recurrence relation
• Theory of computation
• Rational function
• Generating function
• Factorial
• Exponentiation
• Polynomial
• KochenSpecker theorem

MCS 441 – Theory of Computation I Spring 2013 Problem Set 3 Lev Reyzin Due: at the beginning of class

Source URL: homepages.math.uic.edu

2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH

Source URL: diyhpl.us

• Computational complexity theory
• Cryptography
• Theory of computation
• Circuit complexity
• Cryptographic protocols
• Complexity classes
• Quantum complexity theory
• Garbled circuit
• Circuit
• Secure multi-party computation
• NC
• Boolean circuit

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis Ding Ye, Yulei Sui, Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering Click to ed

Source URL: cgo.org

• Data types
• Procedural programming languages
• C++
• Object-oriented programming languages
• Theory of computation
• Undefined value
• Const
• Valgrind
• Undefined
• Reference
• ALGOL 68
• Pointer